We want to use this for focus changes, now that
it can emit focus change events.
g_object_unref (event);
}
-static void
+void
gtk_synthesize_crossing_events (GtkWindow *toplevel,
GtkWidget *old_target,
GtkWidget *new_target,
GdkDevice *device);
GList * _gtk_widget_list_devices (GtkWidget *widget);
+void gtk_synthesize_crossing_events (GtkWindow *toplevel,
+ GtkWidget *from,
+ GtkWidget *to,
+ GdkEvent *event,
+ GdkCrossingMode mode);
+
void _gtk_widget_synthesize_crossing (GtkWidget *from,
GtkWidget *to,
GdkDevice *device,